UNDECIDABILITY OF INTUITIONISTIC THEORIES FORMULATED WITH THE APARTNESS RELATION.GABBAY DM.1977; FUNDAM. MATH.; POLOGNE; DA. 1977; VOL. 97; NO 2; PP. 57-69; BIBL. 6 REF.Article

A NEW VERSION OF BETH SEMANTICS FOR INTUITIONISTIC LOGIC.GABBAY DM.1977; J. SYMBOL. LOGIC; U.S.A.; DA. 1977; VOL. 42; NO 2; PP. 306-308; BIBL. 5 REF.Article

MODEL THEORY FOR INTUITIONISTIC LOGICGABBAY DM.1972; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1972; VOL. 18; NO 1; PP. 49-54; BIBL. 7 REF.Serial Issue

INTUITIONISTIC BASIS FOR NON-MONOTONIC LOGICGABBAY DM.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 138; PP. 260-273; BIBL. 5 REF.Conference Paper

COMPLETENESS PROPERTIES OF HEYTING'S PREDICATE CALCULUS WITH RESPECT TO RE MODELS.GABBAY DM.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 1; PP. 81-94; BIBL. 15 REF.Article

A GENERAL THEORY OF CONDITIONAL IN TERMS OF A TERNARY OPERATORGABBAY DM.1972; THEORIA; SUEDE; DA. 1972; VOL. 38; NO 3; PP. 97-104; BIBL. 5 REF.Serial Issue

APPLICATIONS OF TREES TO INTERMEDIATE LOGICSGABBAY DM.1972; J. SYMBOL. LOGIC; U.S.A.; DA. 1972; VOL. 37; NO 1; PP. 135-138; BIBL. 3 REF.Serial Issue